modulus inequalities